Knihy od autora Wang Yi

Zobrazeno 1 – 5 z 5 výsledků

1. 

   Formal Modeling and Analysis of Timed Systems

   Paul Pettersson, Wang Yi | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
2. 

   Dependable Software Engineering: Theories, Tools, and Applications

   Xuandong Li, Zhiming Liu, Wang Yi | Springer International Publishing AG, 2015

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1135 Kč

   Koupit
3. 

   Model Checking, Synthesis, and Learning

   Wang Yi, Bernhard Steffen | Springer Nature Switzerland AG, 2021

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1535 Kč

   Koupit
4. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Tiziana Margaria, Wang Yi | Springer, Berlin, 2001

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2357 Kč

   Koupit
5. 

   Trois traités sur le portrait

   Wang Yi, Jiang Ji, Ding Gao | BELLES LETTRES, 2025

   
   

   Skladem u dodavatele - Odesíláme za 14-17 dnů

   Jazyk: Francouzština

   Vazba: Brožovaná

   1421 Kč

   Koupit

Orientační termín doručení vidíte přímo v detailu knihy. Zjistěte více